analysis - PDFSEARCH.IO - Document Search Engine

analysis
Results: 187493

#	Item
31	Differential Power Analysis of XMSS and SPHINCS Matthias J. Kannwischer Juliane Kr¨amer Aymeric Genˆet Denis Butin Add to Reading List Source URL: kannwischer.eu Language: English - Date: 2018-03-15 13:22:57 Cryptography Power analysis XMSS Side-channel attack DPA SHA-2 Post-quantum cryptography
32	Poorly Measured Confounders Are More Useful on the Left Than on the Right Zhuan Pei Dept. of Policy Analysis and Management, Cornell University, Ithaca, NY, USA () ¨ rn-Steffen Pischke Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2018-03-26 09:15:07 Statistical inference Multivariate statistics Estimation theory Econometrics Regression analysis Parametric statistics Linear regression Statistical hypothesis testing Instrumental variables estimation Power Regression dilution Correlation and dependence
33	Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 FO Finite model theory Model theory Metaphilosophy Mathematical logic Mathematics Sigma-algebra Pattern language
34	Differential Power Analysis of XMSS and SPHINCS Matthias J. Kannwischer, Full paper available at kannwischer.eu Add to Reading List Source URL: kannwischer.eu Language: English - Date: 2018-04-11 11:26:21 Cryptography Cryptographic hash functions Post-quantum cryptography Hashing XMSS HMAC SHA-2 Hash function Crypt Hash-based cryptography
35	DecemberMeasure S ECONOMIC POLICY ANALYSIS Add to Reading List Source URL: www.goestoofar.com Language: English - Date: 2017-04-27 11:27:54 California Real estate Measure S Urban planning in the United States Affordable housing Eric Garcetti Mixed-income housing Los Angeles Affordability of housing in the United Kingdom Real estate economics California housing shortage Mike Bonin
36	Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:45:03 Model checkers Software engineering Computing Model checking Theoretical computer science SPIN model checker Stack Promela Exception handling Device driver synthesis and verification
37	Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-11-02 05:37:42 Mathematical analysis Statistical randomness Metaphysics Stochastic processes Generalized functions Stochastic simulation Distribution Dynamical system Markov chain
38	Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:16:26 Cryptography Pyruvate dehydrogenase lipoamide kinase isozyme 1 Key management Digital signature Key
39	HandsFree - Next Generation Sequence Processing, Mapping and Analysis Made Easy Phillipe Loher1, Nikos Vasilakis2, John Malamon1, Huang-Wen Chen3 and Isidore Rigoutsos1,* 1 Add to Reading List Source URL: nikos.vasilak.is Language: English - Date: 2013-07-02 11:59:51 Biology Molecular biology Biochemistry Biotechnology DNA Cloud infrastructure RNA Bioinformatics DNA sequencing DNAnexus ChIP-sequencing RNA-Seq
40	Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:46:13 Logic Mathematical logic Linguistics Predicate logic Knowledge representation Tree FO Predicate transformer semantics Substitution B-tree Symbol Control

UPDATE